Proposition 2.2.8

Let be projections in a C-star-Algebra .

  1. If , then inside of .
  2. If , then inside of .